Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair

• Alin Bostan is part of the Scientific advisory board of the conference series Effective Methods in Algebraic Geometry (MEGA).

• Alin Bostan is part of the scientific committee of the GDR EFI (“Functional Equations and Interactions”) dependent on the mathematical institute (INSMI) of the CNRS. The goal of this GDR is to bring together various research communities in France working on functional equations in fields of computer science and mathematics.

• Frédéric Chyzak is member of the steering committee of the Journées Nationales de Calcul Formel (JNCF), the annual meeting of the French computer algebra community.

• Frédéric Chyzak was until July 2019 elected member (and chair) of the steering committee of the International Symposium on Symbolic and Algebraic Computation (ISSAC, 3-year term).

• Georges Gonthier is a member of the steering committee of the Certified Programs and Proofs Conference (CPP).

Member of the Organizing Committees

• Alin Bostan co-organizes, with Lucia Di Vizio, the Séminaire Différentiel between U. Versailles and Inria Saclay, with a bi-annual frequency ($\sim 30$ participants per event).

• Alin Bostan co-organizes, with Lucia Di Vizio, the working group Marches dans le quart de plan, at Institut Henri Poincaré (Paris), with a bi-monthly frequency ($\sim 15$ participants per event).

Scientific Events: Selection

Member of the Conference Program Committees

• Alin Bostan and Frédéric Chyzak have served as conference program committee members for the first Maple Conference.

• Georges Gonthier has served as a conference program committee members for the first Workshop on Formal Methods for Blockchains (FMBC).

Reviewer

• Frédéric Chyzak has served as reviewer for the selection of the international conferences CICM 2019, ISSAC 2019, and Maple Conference 2019.

• Alin Bostan has served as reviewer for the selection of the international conferences FPSAC 2019 and Maple Conference 2019.

Journal

Member of the Editorial Boards

• Alin Bostan is on the editorial board of the Journal of Symbolic Computation.

• Alin Bostan is on the editorial board of the Annals of Combinatorics.

• Guy Fayolle is associate editor of the journal Markov Processes and Related Fields.

• Georges Gonthier is on the editorial board of the Journal of Formalized Reasoning.

Reviewer - Reviewing Activities

• Alin Bostan has served as a reviewer for the journals: Journal of Symbolic Computation, Journal of Combinatorial Theory, Series A, Applicable Algebra in Engineering Communications and Computing, Journal of Combinatorial Algebra, Annales Henri Lebesgue, Annali dell Università di Ferrara, Mathematics of Computation, Séminaire Lotharingien de Combinatoire.

• Guy Fayolle has been a reviewer for Advances in Applied Probability, Markov Processes and Related Fields, Probability Theory and Related Fields, Queueing Systems: Theory and Applications, European Journal of Combinatorics, Journal of Statistical Physics, Physica A, Springer Science.

Invited Talks

• Frédéric Chyzak has been invited to give a talk on his joint work with Alin Bostan about the enumeration of walks with small steps in the quarter plane at the international conference Transient Transcendence in Transylvania (Brașov, Romania).

• Frédéric Chyzak has been invited to give talks on his joint work with Philippe Dumas about Becker's conjecture on Mahler functions: at the conference Équations Fonctionnelles et Interactions (Anglet), during a Seminar on Symbolic Computation at the Academy of Mathematics and Systems Science, Chinese Academy of Sciences (Beijing, China), and at the conference Differential Galois Theory in Strasbourg (Strasbourg).

• Frédéric Chyzak has been invited to give a talk on his joint work with Alin Bostan, Pierre Lairez, and Bruno Salvy (AriC) at the 6th Summer School in Symbolic Computation (Chongqing, China).

• Alin Bostan has been invited to give a talk at the Algebraic Marvels in Differential Equations, Universidade Lisboa, Lisbonne, Portugal, February 2019.

• Alin Bostan has been invited to give a talk at the Combinatorics Seminar, LaBRI, Bordeaux, March 2019.

• Alin Bostan has been a plenary speaker at the international conference AofA 2019, Luminy (France), June 2019.

• Alin Bostan has been a plenary speaker at the international conference FPSAC 2019, Ljubljana (Slovenia), July 2019.

• Alin Bostan has been invited to give a series of five lectures at the Vienna Summer School of Mathematics, Weissensee, Austria, Sept. 2019.

Leadership within the Scientific Community

Regular Research Seminar

The team organizes a regular seminar, with roughly 10 talks a year. The topics reflect the team's interests: computer algebra, combinatorics, number theory, formal proofs, and related domains.

Research Working Group

In 2018, we have set up a working group Marches dans le quart de plan around the study of walks in the quarter plan, a very active research topic in probability theory and enumerative combinatorics in recent years. The working group is organized at Institut Henri Poincaré, with a regularity of two sessions per month. The original purpose was to read the article “On the Nature of the Generating Series of Walks in the Quarter Plane” by T. Dreyfus, C. Hardouin, J. Roques, M. Singer, published in Invent. Math. this year. But the reality exceeded expectations: the working group attracted a dozen of people, working either in computer science or pure mathematics, who began to interact and a very good dynamic was created. Altogether, 15 sessions have taken place in 2019.

International Conference

Together with Kilian Raschel (CNRS, U. Tours), Alin Bostan co-organized an international conference, Transient Transcendence in Transylvania, held in Romania from May 13 to 17, 2019. They took care together of all the infrastructure for this conference: program, invitations, web page, etc. This conference was a unique event in Romania, with a truly exceptional list of speakers, from several continents and countries: South Africa, Germany, Austria, Canada, United States, France, Netherlands, Poland, and of course, Romania. As a natural continuation of the conference, a volume will be published in the Springer collection PROMS (Proceedings in Mathematics & Statistics), with Bostan and Raschel as editors.

Scientific Expertise

• Guy Fayolle is scientific advisor and associate researcher at the Robotics Laboratory of Mines ParisTech.

• Georges Gonthier is taking part in an interministerial survey on the technological roadblocks for blockchains, which has been jointly commissioned to Inria, CEA and IMT by the Ministère de l'Economie, the Ministère de l'Education supérieure et de la Recherche, and the Secrétariat d'Etat au Numérique. He also participates to the Blockchain Taskforce set up by the French government.

Research Administration

• Frédéric Chyzak is project coordinator of the ANR project De rerum natura.

• Guy Fayolle is a member of the working group for Computer System Modeling of the International Federation for Information Processing (IFIP WG 7.3).

• Georges Gonthier serves on the Conseil de l'École Doctorale de Mathématiques Hadamard.